Why Modal Characterizations of Process Semantics Totally Rock

Totally Asymmetric Exclusion Process

The algebraic structure underlying the totally asymmetric exclusion process is studied by using the Bethe Ansatz. From the properties of the algebra generated by the local jump operators, we construct explicitly the hierarchy of operators that commute with the Markov operator. The transfer matrix, which is the generating function of these operators, is shown to represent a discrete Markov proce...

Two Simple Characterizations of Well-Founded Semantics

Game Characterizations of Process Equivalences

In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known linear/branching time hierarchy of process equivalences can be embedded into the game hierarchy, which not only provides us with a refined analysis of process equivalences, but also offers a guidance to defining inte...

Characterizations and Implementation of Static Semantics of Disjunctive Programs Characterizations and Implementation of Static Semantics of Disjunctive Programs

Recently, considerable interest and research eeort has been given to the problem of nding a suitable extension of the logic programming paradigm beyond the class of normal logic programs. In order to demonstrate that a class of programs can be justiiably called an extension of logic programs one should be able to argue that: the proposed syntax of such programs resembles the syntax of logic pro...

The Multi-modal Rock-Paper-Scissors Game

The multi-modal rock-paper-scissors game is an interactive computer game where the opponent of the human player is a virtual agent appearing on the computer screen. The game is similar to the game between humans, the communication takes place by the tools of image and sound processing.